Accelerating Automotive Software Safety with Misra and Static Analysis
نویسنده
چکیده
منابع مشابه
Development Of Automatic Parser Tool For Safety Critical Automobile Software
In accession to the growing use and complexity of the software in safety critical automotive systems, the testing for its safety violation became more imperative. This necessitated the development of an automated parser tool for the software of the automotive system in order to ensure its safety. This tool is developed with intent to verify and validate whether the automobile system software wh...
متن کاملStatic Verification of Non-Functional Software Requirements in the ISO-26262
The norm ISO-26262 aims at ascertaining the functional safety of Automotive Electric/Electronic Systems. It is not focused on purely functional system properties, but also demands to exclude nonfunctional safety hazards in case they are critical for a correct functioning of the system. Examples are violations of timing constraints in real-time software and software crashes due to runtime errors...
متن کاملMISRA C, for Security's Sake!
Athird of United States new cellular subscriptions in Q1 2016 were for cars. There are now more than 112 million vehicles connected around the world. The percentage of new cars shipped with Internet connectivity is expected to rise from 13% in 2015 to 75% in 2020, and 98% of all vehicles are likely to be connected by 2025. Moreover, the news is often reporting about “white hat” hackers intrudin...
متن کاملCertification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain
The publication of the ISO 26262 (”Road vehicles – Functional safety”) as Draft International Standard (DIS) and its expected release as international standard in 2011 has a substantial impact on the development of automotive software. By defining the current state of technique for the development of safe automotive software, the lack of or inadequate use of these techniques has severe legal co...
متن کاملAUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications
Automotive software systems are characterized by increasing complexity and tight requirements on safety and timing. Recent industrial experience has indicated that model-based and component-based approaches can help improve the overall system quality, foster reuse and evolution, and increase the potential for automatic validation and verification. In this paper, we discuss some crucial specific...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016